Reports unreachable code.
